#ifndef PROCESS_SUPERVISION_H
#define PROCESS_SUPERVISION_H

#include "process_management.h"

#define MAX_SUPERVISORS 20

//[VW] Sth. is wrong with these prototypes?

/* functions declarations */

/* Registers the process supervisor as a supervisor of the processes in the array supervised */
//void register_supervisor(PCB* supervisor, PCB** supervised, int supervised_length);

/* Unregisters the process supervisor by removing it from the supervised processes' PCB */
//void unregister_supervisor(PCB* supervisor);

/* Signals the termination of the process terminated to its supervisors. The code parameter is the code returned by the supervised process when it has terminated. - (using message passing?) */
//void signal_termination(PCB* terminated, int code);


#endif
